constraint system

约束系统